Benjamin Pierce - PDFSEARCH.IO - Document Search Engine

Benjamin Pierce
Results: 75

#	Item
41	Symmetric Lenses Martin Hofmann Benjamin Pierce Daniel Wagner Add to Reading List Source URL: www.cis.upenn.edu Language: English - Date: 2010-07-16 15:34:12 Category theory Group action Group theory Symmetry Camera lens Heap Functor Combinatory logic Surjective function Mathematics Abstract algebra Mathematical analysis
42	Linguistic Foundations for Bidirectional Transformations Benjamin Pierce University of Pennsylvania Add to Reading List Source URL: www.cis.upenn.edu Language: English - Date: 2012-05-22 01:05:29 Federated database system Data model Database management systems Database Database theory
43	Verification Challenges of Pervasive Information Flow Benjamin C. Pierce Add to Reading List Source URL: www.cis.upenn.edu Language: English - Date: 2012-02-11 22:13:22 Benjamin Pierce Pierce Formal verification E Programming language Applied mathematics Mathematics Computer science Hardware verification languages Formal methods Logic in computer science
44	“Types are the leaven of computer programming: they make it digestible.” - R. Milner Types à la Milner Benjamin C. Pierce Add to Reading List Source URL: www.cis.upenn.edu Language: English - Date: 2012-04-17 18:53:47 Functional languages Procedural programming languages Type theory ML Logic in computer science Robin Milner Logic for Computable Functions Type inference Pict Software engineering Programming language theory Computing
45	The SAFE Machine An Architecture for Pervasive Information Flow Benjamin C. Pierce University of Pennsylvania Add to Reading List Source URL: www.cis.upenn.edu Language: English - Date: 2013-06-28 12:49:10 Software bugs Pointer Kernel Memory protection C 64-bit Memory safety Linux kernel Computing Software Memory management
46	Programmable Hardware Support for Ubiquitous Micro-‐Policy Enforcement André DeHon, Benjamin C. Pierce University of Pennsylvania (joint work Add to Reading List Source URL: www.cis.upenn.edu Language: English - Date: 2014-05-14 20:36:21 Computer Computing
47	A Theory of Information-Flow Labels Benoˆıt Montagu University of Pennsylvania Philadelphia, USA Benjamin C. Pierce Add to Reading List Source URL: www.cis.upenn.edu Language: English - Date: 2014-10-30 03:50:37 Structure Abstract algebra Order theory Category theory Differential topology Embedding General frame Mathematics Model theory Topology
48	Micro-‐Policies A Framework for Tag-‐Based Security Monitors Benjamin C. Pierce Add to Reading List Source URL: www.cis.upenn.edu Language: English - Date: 2014-12-29 20:43:34 Central processing unit Computer architecture Instruction set architectures DEC Alpha
49	Types Benjamin C. Pierce University of Pennsylvania Programming Languages Mentoring Workshop, Jan. 2012 Add to Reading List Source URL: www.cis.upenn.edu Language: English - Date: 2012-01-24 16:24:25 Formal sciences Association for Computing Machinery Type theory Functional languages Principles of Programming Languages Formal language Formal methods Automata theory Programming language Computing Software engineering Programming language theory
50	Principles, Meet Practice An Early Retrospective on SAFE ^ (incomplete, personal...) Benjamin C. Pierce University of Pennsylvania Add to Reading List Source URL: www.cis.upenn.edu Language: English - Date: 2014-01-25 22:33:18 Operating system Computer security Mach Field-programmable gate array Google Chrome OS Ring Exokernel Computer architecture Security Kernel

UPDATE